Instance,nrRules,success,nrStates,n,runtime_ms
1,17,1,5,1,25
2,17,1,5,1,7
3,17,1,5,1,4
4,17,1,5,1,4
5,17,1,5,1,3
6,17,1,5,1,4
7,17,1,5,1,3
8,17,1,5,1,3
9,17,1,5,1,2
10,17,1,5,1,3
11,17,1,5,1,2
12,17,1,5,1,2
13,17,1,5,1,2
14,17,1,5,1,2
15,17,1,5,1,2
16,17,1,5,1,3
17,17,1,5,1,2
18,17,1,5,1,2
19,17,1,5,1,2
20,17,1,5,1,2
21,17,1,5,1,2
22,270,1,41,2,15
23,270,1,41,2,13
24,270,1,41,2,12
25,270,1,41,2,9
26,270,1,41,2,9
27,270,1,41,2,7
28,270,1,41,2,7
29,270,1,41,2,7
30,270,1,41,2,8
31,270,1,41,2,8
32,270,1,41,2,7
33,270,1,41,2,6
34,270,1,41,2,6
35,270,1,41,2,6
36,270,1,41,2,6
37,270,1,41,2,6
38,270,1,41,2,5
39,270,1,41,2,6
40,270,1,41,2,6
41,270,1,41,2,5
42,270,1,41,2,7
43,270,1,41,2,5
44,270,1,41,2,7
45,270,1,41,2,7
46,270,1,41,2,6
47,270,1,41,2,7
48,270,1,41,2,6
49,270,1,41,2,7
50,270,1,41,2,5
51,270,1,41,2,5
52,270,1,41,2,4
53,270,1,41,2,5
54,270,1,41,2,4
55,270,1,41,2,4
56,270,1,41,2,4
57,270,1,41,2,4
58,270,1,41,2,4
59,270,1,41,2,3
60,270,1,41,2,3
61,270,1,41,2,3
62,270,1,41,2,3
63,270,1,41,2,4
64,270,1,41,2,3
65,270,1,41,2,3
66,270,1,41,2,3
67,270,1,41,2,3
68,270,1,41,2,3
69,270,1,41,2,3
70,270,1,41,2,3
71,270,1,41,2,3
72,270,1,41,2,3
73,270,1,41,2,3
74,270,1,41,2,3
75,270,1,41,2,3
76,270,1,41,2,3
77,270,1,41,2,3
78,270,1,41,2,3
79,270,1,41,2,3
80,270,1,41,2,3
81,270,1,41,2,2
82,270,1,41,2,2
83,270,1,41,2,2
84,270,1,41,2,3
85,270,1,41,2,2
86,270,1,41,2,2
87,270,1,41,2,2
88,270,1,41,2,2
89,270,1,41,2,2
90,270,1,41,2,2
91,270,1,41,2,2
92,270,1,41,2,2
93,270,1,41,2,2
94,270,1,41,2,2
95,283,1,45,2,2
96,270,1,41,2,2
97,270,1,41,2,2
98,270,1,41,2,3
99,270,1,41,2,3
100,270,1,41,2,3
101,270,1,41,2,3
102,270,1,41,2,3
103,270,1,41,2,3
104,270,1,41,2,3
105,270,1,41,2,2
106,270,1,41,2,2
107,270,1,41,2,2
108,270,1,41,2,2
109,270,1,41,2,2
110,270,1,41,2,2
111,270,1,41,2,2
112,270,1,41,2,2
113,270,1,41,2,2
114,270,1,41,2,1
115,270,1,41,2,2
116,270,1,41,2,2
117,270,1,41,2,2
118,270,1,41,2,2
119,270,1,41,2,2
120,270,1,41,2,2
121,726,1,77,2,4
122,270,1,41,2,2
123,270,1,41,2,2
124,270,1,41,2,2
125,270,1,41,2,2
126,270,1,41,2,2
127,270,1,41,2,2
128,270,1,41,2,2
129,270,1,41,2,2
130,270,1,41,2,2
131,270,1,41,2,2
132,270,1,41,2,2
133,270,1,41,2,2
134,270,1,41,2,2
135,270,1,41,2,2
136,270,1,41,2,2
137,270,1,41,2,2
138,270,1,41,2,2
139,270,1,41,2,2
140,270,1,41,2,1
141,270,1,41,2,1
142,270,1,41,2,1
143,270,1,41,2,1
144,270,1,41,2,2
145,270,1,41,2,1
146,270,1,41,2,1
147,270,1,41,2,1
148,270,1,41,2,2
149,270,1,41,2,1
150,2203,1,221,3,10
151,2203,1,221,3,10
152,1651,1,173,3,8
153,2203,1,221,3,10
154,1651,1,173,3,8
155,2203,1,221,3,10
156,1947,1,193,3,9
157,2203,1,221,3,10
158,2203,1,221,3,10
159,2203,1,221,3,10
160,1651,1,173,3,8
161,1947,1,193,3,9
162,1651,1,173,3,8
163,2203,1,221,3,10
164,1651,1,173,3,8
165,1651,1,173,3,8
166,1651,1,173,3,8
167,2203,1,221,3,10
168,2203,1,221,3,10
169,1651,1,173,3,8
170,1651,1,173,3,8
171,2203,1,221,3,12
172,2267,1,225,3,16
173,1651,1,173,3,12
174,2267,1,225,3,10
175,2203,1,221,3,10
176,2203,1,221,3,10
177,1651,1,173,3,8
178,1947,1,193,3,9
179,1651,1,173,3,8
180,1651,1,173,3,8
181,2267,1,225,3,10
182,2203,1,221,3,9
183,1947,1,193,3,8
184,1947,1,193,3,9
185,1651,1,173,3,8
186,2267,1,225,3,11
187,2203,1,221,3,10
188,2203,1,221,3,10
189,1651,1,173,3,12
190,2203,1,221,3,15
191,1947,1,193,3,13
192,2267,1,225,3,16
193,2203,1,221,3,15
194,2203,1,221,3,11
195,1651,1,173,3,11
196,1947,1,193,3,9
197,1651,1,173,3,8
198,2203,1,221,3,10
199,1651,1,173,3,8
200,2203,1,221,3,9
201,1651,1,173,3,8
202,1651,1,173,3,8
203,1651,1,173,3,8
204,1947,1,193,3,9
205,1947,1,193,3,9
206,1947,1,193,3,9
207,2203,1,221,3,9
208,1947,1,193,3,8
209,2203,1,221,3,9
210,2203,1,221,3,9
211,1651,1,173,3,7
212,1651,1,173,3,8
213,2203,1,221,3,9
214,2203,1,221,3,10
215,2203,1,221,3,9
216,1651,1,173,3,7
217,1651,1,173,3,7
218,1947,1,193,3,8
219,2203,1,221,3,10
220,1947,1,193,3,9
221,1651,1,173,3,8
222,2203,1,221,3,10
223,3120,1,301,3,14
224,1651,1,173,3,8
225,3120,1,301,3,14
226,1651,1,173,3,8
227,2203,1,221,3,9
228,2203,1,221,3,8
229,2203,1,221,3,8
230,1651,1,173,3,6
231,2203,1,221,3,8
232,1651,1,173,3,7
233,1651,1,173,3,6
234,1651,1,173,3,7
235,2203,1,221,3,8
236,1651,1,173,3,7
237,2203,1,221,3,8
238,2203,1,221,3,8
239,2267,1,225,3,9
240,2203,1,221,3,8
241,2267,1,225,3,9
242,1651,1,173,3,7
243,2203,1,221,3,8
244,1651,1,173,3,7
245,1651,1,173,3,7
246,1651,1,173,3,7
247,2203,1,221,3,8
248,2203,1,221,3,8
249,1651,1,173,3,6
250,1947,1,193,3,7
251,1651,1,173,3,6
252,1651,1,173,3,6
253,2203,1,221,3,13
254,2203,1,221,3,14
255,1651,1,173,3,11
256,1651,1,173,3,11
257,1651,1,173,3,11
258,2203,1,221,3,13
259,2203,1,221,3,13
260,2203,1,221,3,13
261,1651,1,173,3,11
262,2203,1,221,3,13
263,1651,1,173,3,11
264,2203,1,221,3,13
265,1651,1,173,3,11
266,1947,1,193,3,11
267,1651,1,173,3,7
268,1947,1,193,3,7
269,1651,1,173,3,7
270,9128,1,737,4,36
271,10180,1,781,4,39
272,8676,1,693,4,36
273,10180,1,781,4,37
274,8140,1,637,4,32
275,7804,1,613,4,32
276,9128,1,737,4,36
277,9128,1,737,4,36
278,8140,1,637,4,33
279,9128,1,737,4,39
280,9564,1,765,4,38
281,10180,1,781,4,38
282,6584,1,545,4,29
283,12508,1,889,4,50
284,10180,1,781,4,39
285,9128,1,737,4,35
286,10180,1,781,4,47
287,10180,1,781,4,51
288,9128,1,737,4,57
289,10180,1,781,4,60
290,9128,1,737,4,56
291,8140,1,637,4,68
292,8528,1,689,4,73
293,8676,1,693,4,74
294,10180,1,781,4,87
295,11220,1,861,4,66
296,9128,1,737,4,46
297,10180,1,781,4,51
298,8140,1,637,4,78
299,11768,1,929,4,104
300,8140,1,637,4,76
301,9128,1,737,4,80
302,11220,1,861,4,99
303,8676,1,693,4,86
304,8528,1,689,4,80
305,8140,1,637,4,52
306,10452,1,789,4,58
307,8140,1,637,4,51
308,6584,1,545,4,70
309,11052,1,861,4,64
310,8140,1,637,4,47
311,8140,1,637,4,44
312,10180,1,781,4,65
313,8676,1,693,4,45
314,9128,1,737,4,45
315,9128,1,737,4,35
316,9564,1,765,4,39
317,8140,1,637,4,35
318,10912,1,757,4,44
319,10180,1,781,4,39
320,8528,1,689,4,33
321,8140,1,637,4,36
322,11360,1,821,4,44
323,10180,1,781,4,39
324,13280,1,989,4,52
325,6584,1,545,4,29
326,6584,1,545,4,29
327,10180,1,781,4,39
328,9128,1,737,4,36
329,11768,1,929,4,41
330,9128,1,737,4,36
331,6584,1,545,4,29
332,8140,1,637,4,34
333,9564,1,765,4,36
334,6584,1,545,4,28
335,8528,1,689,4,34
336,8140,1,637,4,35
337,8676,1,693,4,50
338,8676,1,693,4,58
339,10180,1,781,4,60
340,6584,1,545,4,49
341,10912,1,757,4,64
342,8676,1,693,4,36
343,6584,1,545,4,28
344,8676,1,693,4,34
345,9128,1,737,4,35
346,7804,1,613,4,31
347,10180,1,781,4,37
348,10180,1,781,4,37
349,10180,1,781,4,36
350,10180,1,781,4,37
351,9564,1,765,4,36
352,8528,1,689,4,34
353,11768,1,929,4,48
354,7804,1,613,4,32
355,6584,1,545,4,27
356,6584,1,545,4,28
357,7804,1,613,4,32
358,7804,1,613,4,31
359,10180,1,781,4,39
360,10180,1,781,4,38
361,9128,1,737,4,35
362,10180,1,781,4,40
363,10180,1,781,4,40
364,8528,1,689,4,32
365,10452,1,789,4,42
366,10180,1,781,4,38
367,10180,1,781,4,37
368,10180,1,781,4,40
369,9128,1,737,4,37
370,10180,1,781,4,38
371,8140,1,637,4,32
372,9128,1,737,4,35
373,9128,1,737,4,35
374,9128,1,737,4,34
375,10180,1,781,4,39
376,8528,1,689,4,33
377,10180,1,781,4,37
378,9564,1,765,4,39
379,8528,1,689,4,34
380,7804,1,613,4,32
381,8528,1,689,4,32
382,9128,1,737,4,37
383,9128,1,737,4,39
384,8528,1,689,4,35
385,8528,1,689,4,34
386,9128,1,737,4,37
387,8528,1,689,4,34
388,11388,1,861,4,52
389,10180,1,781,4,41
390,9128,1,737,4,37
391,9128,1,737,4,42
392,8528,1,689,4,34
393,8528,1,689,4,34
394,9128,1,737,4,37
395,10180,1,781,4,37
396,10180,1,781,4,40
397,8140,1,637,4,44
398,9128,1,737,4,53
399,8140,1,637,4,52
400,8528,1,689,4,52
401,8528,1,689,4,53
402,10180,1,781,4,58
403,8676,1,693,4,48
404,8140,1,637,4,43
405,7804,1,613,4,43
406,7804,1,613,4,42
407,9128,1,737,4,49
408,8676,1,693,4,45
409,11032,1,829,4,54
410,9128,1,737,4,47
411,8140,1,637,4,45
412,6584,1,545,4,39
413,9128,1,737,4,49
414,9128,1,737,4,49
415,8528,1,689,4,45
416,9128,1,737,4,49
417,11052,1,861,4,55
418,8140,1,637,4,46
419,9128,1,737,4,50
420,6584,1,545,4,38
421,9128,1,737,4,47
422,9564,1,765,4,52
423,10180,1,781,4,52
424,8528,1,689,4,45
425,9564,1,765,4,50
426,8140,1,637,4,44
427,10452,1,789,4,86
428,8140,1,637,4,47
429,8140,1,637,4,45
430,9128,1,737,4,51
431,8528,1,689,4,48
432,9128,1,737,4,65
433,9128,1,737,4,50
434,9128,1,737,4,57
435,8140,1,637,4,64
436,10180,1,781,4,52
437,7804,1,613,4,43
438,10180,1,781,4,37
439,8140,1,637,4,32
440,6584,1,545,4,28
441,9128,1,737,4,34
442,10912,1,757,4,40
443,9128,1,737,4,34
444,32789,1,2209,5,129
445,232,0,40,5,1
446,32205,1,2309,5,138
447,31197,1,1985,5,139
448,30733,1,2049,5,132
449,30797,1,2089,5,132
450,32205,1,2309,5,132
451,28613,1,1945,5,123
452,32205,1,2309,5,134
453,29053,1,1881,5,156
454,32205,1,2309,5,194
455,28517,1,1921,5,124
456,32381,1,2185,5,126
457,28517,1,1921,5,119
458,32789,1,2209,5,140
459,30797,1,2089,5,125
460,34853,1,2257,5,157
461,32789,1,2209,5,140
462,29405,1,2065,5,131
463,29213,1,2017,5,126
464,28517,1,1921,5,155
465,38141,1,2569,5,321
466,29429,1,2065,5,265
467,28517,1,1921,5,153
468,27589,1,1953,5,147
469,30797,1,2089,5,162
470,24389,1,1657,5,159
471,28421,1,1921,5,157
472,40469,1,2425,5,250
473,30797,1,2089,5,179
474,28613,1,1945,5,234
475,34037,1,2041,5,189
476,29053,1,1881,5,129
477,40469,1,2425,5,167
478,30797,1,2089,5,199
479,34853,1,2257,5,205
480,27165,1,1925,5,154
481,30733,1,2049,5,176
482,30797,1,2089,5,172
483,30797,1,2089,5,208
484,30797,1,2089,5,168
485,28517,1,1921,5,157
486,32589,1,2141,5,169
487,29405,1,2065,5,168
488,19509,1,1397,5,126
489,24749,1,1681,5,163
490,30733,1,2049,5,183
491,6600,0,524,5,30
492,32405,1,2101,5,190
493,26557,1,1929,5,145
494,34805,1,2257,5,163
495,30733,1,2049,5,133
496,32789,1,2209,5,129
497,30245,1,2041,5,131
498,28741,1,2049,5,123
499,34669,1,2289,5,143
500,34037,1,2041,5,152
501,30797,1,2089,5,136
502,30733,1,2049,5,132
503,28421,1,1921,5,120
504,26557,1,1929,5,109
505,25773,1,1829,5,119
506,40469,1,2425,5,174
507,30125,1,2065,5,149
508,30797,1,2089,5,198
509,25773,1,1829,5,110
510,28421,1,1921,5,116
511,27917,1,1921,5,119
512,28613,1,1945,5,118
513,36349,1,2337,5,141
514,28741,1,2049,5,118
515,32789,1,2209,5,135
516,32789,1,2209,5,142
517,28005,1,1889,5,121
518,27285,1,1973,5,123
519,28005,1,1889,5,128
520,30141,1,2057,5,188
521,24389,1,1657,5,147
522,25773,1,1829,5,146
523,28741,1,2049,5,148
524,25077,1,1781,5,140
525,28613,1,1945,5,159
526,29453,1,1993,5,151
527,33261,1,2129,5,175
528,28613,1,1945,5,152
529,36349,1,2337,5,181
530,32789,1,2209,5,169
531,35741,1,2305,5,233
532,32205,1,2309,5,185
533,29053,1,1881,5,159
534,36349,1,2337,5,214
535,33261,1,2129,5,136
536,28517,1,1921,5,124
537,27285,1,1973,5,114
538,27285,1,1973,5,164
539,27285,1,1973,5,173
540,27285,1,1973,5,115
541,27285,1,1973,5,117
542,27285,1,1973,5,126
543,36349,1,2337,5,141
544,30797,1,2089,5,130
545,28421,1,1921,5,115
546,27285,1,1973,5,122
547,32773,1,2193,5,146
548,30797,1,2089,5,131
549,34805,1,2257,5,200
550,25773,1,1829,5,139
551,30245,1,2041,5,163
552,32205,1,2309,5,175
553,24821,1,1777,5,140
554,29053,1,1881,5,156
555,30245,1,2041,5,161
556,24749,1,1681,5,142
557,30797,1,2089,5,168
558,29053,1,1881,5,155
559,23357,1,1585,5,142
560,28005,1,1889,5,146
561,41469,1,2465,5,210
562,36349,1,2337,5,190
563,28005,1,1889,5,130
564,24749,1,1681,5,125
565,38997,1,2489,5,188
566,30245,1,2041,5,131
567,36349,1,2337,5,140
568,32789,1,2209,5,129
569,32789,1,2209,5,132
570,34037,1,2041,5,149
571,35029,1,2337,5,152
572,32789,1,2209,5,194
573,28005,1,1889,5,152
574,32789,1,2209,5,167
575,34037,1,2041,5,182
576,32789,1,2209,5,166
577,30205,1,2037,5,171
578,40917,1,2417,5,185
579,24701,1,1777,5,99
580,40469,1,2425,5,153
581,32789,1,2209,5,152
582,34037,1,2041,5,190
583,32789,1,2209,5,177
584,24749,1,1681,5,140
585,24389,1,1657,5,141
586,32061,1,2153,5,170
587,36349,1,2337,5,181
588,27165,1,1925,5,153
589,32789,1,2209,5,129
590,30245,1,2041,5,123
591,32205,1,2309,5,134
592,28613,1,1945,5,117
593,28517,1,1921,5,116
594,32789,1,2209,5,130
595,30245,1,2041,5,158
596,30245,1,2041,5,157
597,35733,1,2297,5,173
598,29429,1,2065,5,126
599,35173,1,2361,5,137
600,30797,1,2089,5,130
601,30797,1,2089,5,133
602,33437,1,2017,5,149
603,28005,1,1889,5,120
604,24749,1,1681,5,112
605,38141,1,2569,5,203
606,32789,1,2209,5,177
607,35029,1,2337,5,181
608,32061,1,2153,5,165
609,30245,1,2041,5,158
610,32789,1,2209,5,175
611,24821,1,1777,5,129
612,24749,1,1681,5,141
613,24749,1,1681,5,143
614,36349,1,2337,5,181
615,36349,1,2337,5,186
616,34389,1,2177,5,188
617,36349,1,2337,5,193
618,36349,1,2337,5,194
619,36349,1,2337,5,199
620,25773,1,1829,5,149
621,32789,1,2209,5,169
622,30245,1,2041,5,165
623,30053,1,2065,5,163
624,36349,1,2337,5,182
625,29429,1,2065,5,153
626,32205,1,2309,5,169
627,29373,1,2117,5,155
628,31677,1,2117,5,171
629,32381,1,2185,5,165
630,30797,1,2089,5,167
631,30797,1,2089,5,160
632,23285,1,1585,5,142
633,35029,1,2337,5,189
634,32149,1,2145,5,202
635,24389,1,1657,5,157
636,32789,1,2209,5,181
637,27165,1,1925,5,162
638,28613,1,1945,5,159
639,28517,1,1921,5,155
640,32205,1,2309,5,170
641,33437,1,2017,5,216
642,32061,1,2153,5,167
643,25077,1,1781,5,141
644,23357,1,1585,5,136
645,32205,1,2309,5,167
646,25773,1,1829,5,153
647,27165,1,1925,5,158
648,30797,1,2089,5,170
649,30733,1,2049,5,187
650,30797,1,2089,5,165
651,28613,1,1945,5,152
652,34805,1,2257,5,183
653,28005,1,1889,5,167
654,24749,1,1681,5,142
655,24389,1,1657,5,137
656,40469,1,2425,5,197
657,23285,1,1585,5,132
658,30797,1,2089,5,160
659,66510,1,4165,6,346
660,91226,1,5445,6,496
661,92402,1,5517,6,464
662,78990,1,5005,6,379
663,79950,1,5005,6,383
664,104538,1,5773,6,431
665,66630,1,4189,6,323
666,72518,1,4605,6,439
667,79470,1,5029,6,420
668,101082,1,5581,6,556
669,105514,1,5861,6,546
670,94266,1,5197,6,516
671,79970,1,4749,6,455
672,81438,1,5101,6,448
673,92402,1,5517,6,489
674,87294,1,5509,6,410
675,63706,1,4169,6,331
676,65794,1,4409,6,321
677,74862,1,4669,6,356
678,75158,1,4749,6,452
679,92402,1,5517,6,492
680,63178,1,4169,6,377
681,69514,1,4397,6,389
682,101082,1,5581,6,595
683,91226,1,5445,6,480
684,61806,1,3853,6,391
685,112934,1,5949,6,673
686,81822,1,5101,6,472
687,76566,1,4789,6,421
688,80082,1,4885,6,446
689,112094,1,6033,6,647
690,71310,1,4453,6,447
691,74454,1,4669,6,427
692,77238,1,4813,6,465
693,41302,1,2801,6,227
694,82314,1,5077,6,436
695,75158,1,4749,6,411
696,52478,1,3429,6,334
697,73394,1,4365,6,442
698,98770,1,5453,6,580
699,67014,1,4189,6,401
700,149838,1,7249,6,791
701,101082,1,5581,6,547
702,101082,1,5581,6,549
703,107802,1,5989,6,445
704,74454,1,4669,6,330
705,110174,1,5745,6,569
706,74454,1,4669,6,420
707,64290,1,4261,6,321
708,74454,1,4669,6,328
709,88126,1,5249,6,464
710,44014,1,2897,6,185
711,84538,1,5069,6,408
712,79950,1,5005,6,443
713,77046,1,4885,6,481
714,66630,1,4189,6,328
715,73394,1,4365,6,345
716,79394,1,4749,6,364
717,117522,1,6241,6,508
718,69182,1,4293,6,350
719,107802,1,5989,6,444
720,84026,1,4989,6,362
721,72058,1,4517,6,360
722,124766,1,6225,6,520
723,78302,1,4689,6,345
724,70638,1,4429,6,332
725,103674,1,5785,6,456
726,100694,1,5361,6,439
727,106826,1,6405,6,445
728,66510,1,4165,6,309
729,94554,1,5221,6,493
730,89502,1,5677,6,506
731,78038,1,4881,6,429
732,89502,1,5677,6,487
733,63426,1,4165,6,355
734,64266,1,4261,6,372
735,65794,1,4409,6,379
736,81586,1,4925,6,420
737,81586,1,4925,6,418
738,68722,1,4601,6,415
739,83658,1,4621,6,406
740,80082,1,4885,6,354
741,65218,1,4133,6,291
742,75822,1,4741,6,334
743,75822,1,4741,6,334
744,91226,1,5445,6,381
745,69182,1,4293,6,316
746,102490,1,5669,6,427
747,83658,1,4621,6,421
748,84650,1,5061,6,386
749,70738,1,4541,6,309
750,103258,1,5765,6,446
751,73478,1,4605,6,325
752,66510,1,4165,6,316
753,81234,1,4981,6,351
754,81234,1,4981,6,353
755,72787,1,4909,6,347
756,88330,1,5285,6,374
757,91226,1,5445,6,392
758,78990,1,5005,6,350
759,69390,1,4333,6,321
760,94266,1,5197,6,409
761,92402,1,5517,6,386
762,73118,1,4557,6,324
763,70638,1,4429,6,332
764,70638,1,4429,6,325
765,104551,1,5777,6,466
766,91034,1,5049,6,488
767,71026,1,4421,6,417
768,61458,1,4117,6,356
769,99194,1,5901,6,526
770,104538,1,5773,6,542
771,74454,1,4669,6,413
772,92402,1,5517,6,495
773,101082,1,5581,6,527
774,89502,1,5677,6,518
775,81822,1,5101,6,359
776,54130,1,3545,6,267
777,92078,1,5385,6,393
778,81234,1,4981,6,360
779,66630,1,4189,6,308
780,66630,1,4189,6,309
781,66630,1,4189,6,306
782,66630,1,4189,6,306
783,67258,1,4277,6,304
784,80082,1,4885,6,398
785,66510,1,4165,6,313
786,61458,1,4117,6,275
787,75126,1,4669,6,325
788,77554,1,4853,6,337
789,26041,0,1676,6,89
790,75126,1,4669,6,327
791,67482,1,4405,6,298
792,75126,1,4669,6,324
793,67014,1,4189,6,322
794,72194,1,4293,6,354
795,91226,1,5445,6,404
796,99398,1,5265,6,553
797,73394,1,4365,6,442
798,77046,1,4885,6,448
799,89502,1,5677,6,483
800,63306,1,4165,6,356
801,108418,1,6005,6,574
802,78990,1,5005,6,424
803,74702,1,4701,6,415
804,99834,1,5581,6,515
805,84650,1,5061,6,454
806,66630,1,4189,6,313
807,78990,1,5005,6,336
808,128463,1,6909,6,547
809,84282,1,4645,6,390
810,76566,1,4789,6,331
811,89502,1,5677,6,426
812,61674,1,4069,6,319
813,66166,1,4265,6,328
814,81694,1,4769,6,355
815,71026,1,4421,6,311
816,56262,1,3493,6,283
817,84650,1,5061,6,418
818,84918,1,5233,6,394
819,79950,1,5005,6,338
820,79950,1,5005,6,336
821,55862,1,3837,6,256
822,83926,1,4817,6,355
823,154406,1,7041,6,629
824,84650,1,5061,6,467
825,66510,1,4165,6,400
826,69154,1,4349,6,391
827,70638,1,4429,6,411
828,89502,1,5677,6,492
829,74454,1,4669,6,420
830,76566,1,4789,6,424
831,63178,1,4169,6,378
832,71447,1,4493,6,460
833,66510,1,4165,6,407
834,108418,1,6005,6,621
835,79470,1,5029,6,351
836,89502,1,5677,6,389
837,107802,1,5989,6,481
838,84026,1,4989,6,479
839,66703,1,4193,6,433
840,94554,1,5221,6,525
841,61198,1,4001,6,351
842,85662,1,5281,6,497
843,92402,1,5517,6,497
844,62218,1,4073,6,440
845,24977,0,1620,6,107
846,1346,0,148,7,8
847,134999,1,8177,7,872
848,192303,1,10977,7,1108
849,186423,1,10641,7,1051
850,156703,1,9433,7,910
851,242119,1,12493,7,1280
852,171103,1,10297,7,911
853,135551,1,8501,7,667
854,153175,1,9217,7,777
855,339087,1,14589,7,1749
856,175935,1,10041,7,1139
857,197703,1,11385,7,1123
858,148087,1,8953,7,858
859,112127,1,7085,7,695
860,138183,1,8553,7,864
861,214551,1,12369,7,1085
862,161671,1,9625,7,772
863,319151,1,13949,7,1387
864,213679,1,11257,7,955
865,168399,1,9537,7,914
866,147399,1,8865,7,729
867,152207,1,9113,7,748
868,155719,1,9385,7,761
869,145447,1,8641,7,712
870,142895,1,8537,7,738
871,191047,1,10057,7,1148
872,220879,1,11857,7,1252
873,184447,1,10369,7,1026
874,172055,1,10037,7,961
875,240903,1,12189,7,1405
876,157495,1,8677,7,762
877,131755,1,7645,7,617
878,251663,1,12125,7,1504
879,131471,1,7709,7,731
880,318927,1,13629,7,1863
881,241478,1,13913,7,1535
882,144343,1,8713,7,912
883,159343,1,9649,7,1062
884,95375,1,5741,7,541
885,204967,1,10777,7,1217
886,159799,1,9865,7,957
887,188927,1,10229,7,1087
888,160615,1,9673,7,998
889,197391,1,11217,7,1172
890,20322,0,1260,7,76
891,82658,0,4424,7,417
892,158575,1,9649,7,1048
893,152695,1,8989,7,1028
894,336543,1,15525,7,1670
895,114535,1,7297,7,580
896,164703,1,9453,7,766
897,244271,1,13325,7,1141
898,160159,1,9649,7,771
899,390223,1,15529,7,1709
900,137703,1,8457,7,638
901,138167,1,8765,7,708
902,187143,1,10461,7,1081
903,178719,1,10269,7,1020
904,158407,1,9601,7,942
905,147391,1,8725,7,846
906,160351,1,9445,7,995
907,240903,1,12189,7,1332
908,181143,1,10329,7,839
909,246975,1,12621,7,1100
910,231567,1,11565,7,1027
911,240903,1,12189,7,1104
912,206543,1,11057,7,1175
913,257367,1,13053,7,1447
914,270975,1,13221,7,1490
915,240903,1,12189,7,1351
916,158407,1,9601,7,1140
917,337943,1,15005,7,1790
918,143711,1,8153,7,894
919,161447,1,9545,7,935
920,186855,1,10737,7,1043
921,175016,1,10009,7,1171
922,97591,1,6457,7,536
923,177807,1,10113,7,819
924,169719,1,9657,7,860
925,154143,1,9165,7,731
926,13262,0,864,7,34
927,205199,1,11081,7,990
928,229348,1,11713,7,1429
929,206132,1,10877,7,1253
930,188959,1,10477,7,1119
931,133567,1,7921,7,849
932,199439,1,10769,7,1146
933,170415,1,9729,7,1117
934,165751,1,10057,7,950
935,163207,1,9769,7,812
936,202959,1,11697,7,991
937,130583,1,7913,7,843
938,190256,1,11329,7,1134
939,147031,1,8857,7,868
940,155239,1,9241,7,914
941,162575,1,9449,7,916
942,99895,1,6505,7,587
943,191871,1,11073,7,1067
944,169503,1,9633,7,1050
945,145927,1,8617,7,868
946,213311,1,11657,7,1350
947,84583,1,5641,7,593
948,297728,1,15037,7,1761
949,148799,1,8813,7,850
950,218119,1,11101,7,1224
951,181287,1,10425,7,1082
952,242616,1,12821,7,1409
953,113359,1,6373,7,591
954,162551,1,9545,7,876
955,165815,1,9737,7,988
956,186823,1,10393,7,1066
957,125255,1,7865,7,744
958,211975,1,11161,7,1199
959,155719,1,9385,7,960
960,2126,0,216,7,12
961,191871,1,11073,7,1154
962,164599,1,9769,7,1014
963,139919,1,8813,7,886
964,202071,1,11505,7,1139
965,142759,1,8497,7,825
966,343039,1,15085,7,1716
967,146095,1,8785,7,752
968,4026,0,340,7,14
969,155143,1,9217,7,943
970,214287,1,10797,7,1331
971,263031,1,13341,7,1380
972,226087,1,11929,7,1334
973,156351,1,8841,7,1040
974,175935,1,10041,7,955
975,143007,1,8493,7,680
976,201703,1,10585,7,953
977,266776,1,13713,7,1463
978,182943,1,10425,7,1109
979,108951,1,6813,7,588
980,176783,1,10169,7,853
981,171079,1,10393,7,1053
982,215551,1,11377,7,1255
983,214623,1,10893,7,1293
984,263031,1,13341,7,1485
985,134999,1,8225,7,886
986,169735,1,10141,7,1155
987,226215,1,11829,7,1322
988,211975,1,11161,7,1271
989,350908,1,19557,8,2226
990,398612,1,19705,8,2362
991,304376,1,17821,8,1948
992,4327,0,376,8,22
993,327512,1,18169,8,2021
994,128755,0,7340,8,495
995,370848,1,19673,8,1976
996,309644,1,17173,8,1580
997,354052,1,19797,8,2096
998,282704,1,16357,8,1849
999,191492,1,12157,8,1272
1000,434616,1,23129,8,2570
1001,293888,1,17581,8,1901
1002,286721,1,15673,8,1955
1003,343372,1,19005,8,1917
1004,296892,1,16637,8,1906
1005,296892,1,16637,8,1955
1006,312328,1,17481,8,1807
1007,289976,1,16393,8,1750
1008,365860,1,20637,8,2159
1009,267928,1,15669,8,1772
1010,266172,1,15341,8,1637
1011,272168,1,15637,8,1491
1012,307284,1,17285,8,1655
1013,243552,1,13709,8,1509
1014,450328,1,21369,8,2289
1015,380372,1,19477,8,2272
1016,352620,1,18533,8,1968
1017,376992,1,19961,8,1848
1018,385624,1,19689,8,1925
1019,288632,1,17245,8,1855
1020,468664,1,23481,8,2764
1021,9343,0,660,8,40
1022,244120,1,13737,8,1399
1023,273972,1,15821,8,1507
1024,276008,1,15757,8,1461
1025,173880,1,10721,8,963
1026,414776,1,21193,8,2280
1027,243788,1,14509,8,1321
1028,362636,1,18073,8,1737
1029,519824,1,23857,8,2543
1030,626996,1,24193,8,2986
1031,374564,1,19069,8,2107
1032,226601,1,14565,8,1331
1033,643024,1,26889,8,2852
1034,351048,1,18569,8,1637
1035,350768,1,17101,8,1552
1036,509204,1,23569,8,2507
1037,456756,1,22601,8,2089
1038,215468,1,11749,8,1027
1039,240352,1,13977,8,1267
1040,462520,1,22809,8,2736
1041,321212,1,16321,8,1920
1042,370848,1,19673,8,2016
1043,395412,1,20177,8,2002
1044,515580,1,24737,8,2407
1045,396568,1,19377,8,2267
1046,511576,1,24609,8,3000
1047,354148,1,18117,8,1760
1048,360424,1,18393,8,1624
1049,543692,1,25033,8,2486
1050,527964,1,25337,8,2425
1051,801948,1,33329,8,3302
1052,36124,0,2148,8,93
1053,235504,1,13785,8,1218
1054,156816,1,9953,8,860
1055,299916,1,17069,8,1761
1056,403556,1,20605,8,2401
1057,309584,1,17497,8,1904
1058,459736,1,22713,8,2843
1059,279032,1,16453,8,1785
1060,302744,1,17077,8,1922
1061,272804,1,14389,8,1435
1062,303968,1,17845,8,1902
1063,368568,1,19625,8,1940
1064,329332,1,16905,8,1580
1065,508956,1,24209,8,2441
1066,376048,1,19161,8,1987
1067,255408,1,14321,8,1441
1068,233972,1,13669,8,1310
1069,494949,1,24697,8,2733
1070,427006,1,21053,8,2561
1071,344910,1,17629,8,1891
1072,308644,1,17013,8,1643
1073,375532,1,19473,8,1781
1074,366404,1,18685,8,1933
1075,361108,1,20121,8,2089
1076,189436,1,11505,8,973
1077,427976,1,21985,8,1919
1078,288056,1,15913,8,1461
1079,1011364,1,32649,8,4991
1080,378000,1,20057,8,2241
1081,129927,0,7080,8,612
1082,343564,1,19365,8,2225
1083,318508,1,17493,8,1578
1084,1167,0,148,8,6
1085,176012,1,11125,8,973
1086,309200,1,18133,8,1579
1087,390856,1,19569,8,1916
1088,397868,1,18865,8,1835
1089,210508,1,12681,8,1068
1090,419512,1,20649,8,2055
1091,93027,0,5616,8,357
1092,348236,1,17701,8,1794
1093,402692,1,20581,8,1910
1094,692012,1,26665,8,2931
1095,192396,1,10961,8,895
1096,496048,1,24489,8,2388
1097,351412,1,19653,8,1834
1098,412520,1,21289,8,2229
1099,560824,1,26217,8,2953
1100,316420,1,17853,8,1622
1101,760912,1,32841,8,3316
1102,270572,1,15709,8,1391
1103,414912,1,20729,8,2315
1104,429056,1,21721,8,2167
1105,368520,1,19457,8,1850
1106,110248,1,7029,8,575
1107,658620,1,26825,8,3287
1108,635772,1,30521,8,3043
1109,257492,1,14617,8,1753
1110,207136,1,12681,8,1086
1111,235532,1,13741,8,1240
1112,458592,1,20897,8,1977
1113,463528,1,22809,8,2236
1114,290072,1,16909,8,1532
1115,725916,1,29417,8,3284
1116,333340,1,18429,8,1675
1117,430832,1,22057,8,1992
1118,459300,1,22865,8,2184
1119,471088,1,22665,8,2246
1120,275188,1,15273,8,1320
1121,416300,1,21349,8,1969
1122,250524,1,15473,8,1442
1123,659441,1,31149,9,3336
1124,350937,1,20605,9,1862
1125,500337,1,27385,9,2683
1126,837569,1,41013,9,4559
1127,678305,1,32541,9,4106
1128,1110177,1,44773,9,5656
1129,525833,1,26265,9,3301
1130,761505,1,37285,9,4944
1131,494769,1,28825,9,3269
1132,454177,1,24437,9,2823
1133,561177,1,28645,9,3457
1134,504841,1,28385,9,3605
1135,468825,1,26641,9,3450
1136,500313,1,28921,9,3516
1137,223317,1,13261,9,1549
1138,613361,1,33969,9,4032
1139,585809,1,31005,9,3808
1140,460297,1,24485,9,2982
1141,478593,1,26137,9,3199
1142,501841,1,25553,9,3033
1143,971961,1,38749,9,5528
1144,471057,1,24781,9,3225
1145,1195681,1,47105,9,7881
1146,512241,1,25453,9,3131
1147,474793,1,26801,9,3109
1148,725425,1,35909,9,4235
1149,352233,1,20473,9,2039
1150,436025,1,23877,9,2293
1151,1225801,1,52529,9,5834
1152,415697,1,23901,9,2263
1153,422550,1,24589,9,2318
1154,558745,1,30221,9,2817
1155,533449,1,28637,9,3324
1156,360553,1,21281,9,2425
1157,1173369,1,46333,9,5617
1158,668889,1,33613,9,3511
1159,796009,1,34577,9,4244
1160,555617,1,27897,9,2924
1161,579809,1,29397,9,3023
1162,15629,0,1128,9,44
1163,47898,0,2944,9,125
1164,603881,1,33033,9,3266
1165,738953,1,35685,9,4022
1166,542137,1,28013,9,2733
1167,772361,1,35613,9,3939
1168,572321,1,31161,9,3009
1169,544662,1,30457,9,2964
1170,669609,1,33889,9,3735
1171,564857,1,28629,9,2790
1172,732750,1,35401,9,3805
1173,1108809,1,49681,9,5489
1174,792201,1,36205,9,4546
1175,710137,1,35285,9,3657
1176,702873,1,36265,9,4509
1177,572465,1,31473,9,3898
1178,565662,1,30589,9,3399
1179,727161,1,36541,9,3950
1180,377257,1,20717,9,2210
1181,406553,1,22917,9,2592
1182,825209,1,40293,9,4488
1183,547041,1,30181,9,3411
1184,489465,1,28033,9,2876
1185,494321,1,27573,9,2585
1186,601598,1,31161,9,3380
1187,800437,1,36653,9,3951
1188,494385,1,27001,9,3279
1189,695121,1,35305,9,4242
1190,650313,1,32497,9,3831
1191,454489,1,24605,9,2828
1192,357729,1,18901,9,2239
1193,191925,1,10945,9,1200
1194,495721,1,27449,9,3662
1195,522641,1,28089,9,3840
1196,1038281,1,43509,9,5778
1197,411241,1,23621,9,2953
1198,483513,1,26533,9,3560
1199,29044,0,1716,9,112
1200,811545,1,38197,9,5035
1201,886292,1,42981,9,5771
1202,748860,0,29044,9,3568
1203,2040646,1,76081,10,11891
1204,984438,1,52845,10,5606
1205,966074,1,47885,10,5491
1206,1850166,1,81321,10,9819
1207,1298994,1,62601,10,9295
1208,690199,1,35817,10,4448
1209,875578,1,46417,10,6361
1210,706086,1,40449,10,5017
1211,1009366,1,48793,10,5607
1212,777490,1,40381,10,5081
1213,1297430,1,56033,10,7488
1214,1070954,1,55745,10,7355
1215,692038,1,35101,10,4623
1216,1646710,1,69001,10,10072
1217,1344450,1,65577,10,8150
1218,1505370,1,66525,10,9598
1219,946922,1,47177,10,6784
1220,733262,1,40805,10,4945
1221,1668678,1,72969,10,10765
1222,871774,1,45025,10,6022
1223,1500350,1,71081,10,9586
1224,409878,1,22941,10,2744
1225,1243270,1,59185,10,7753
1226,1537198,1,64069,10,8150
1227,173806,0,8316,10,701
1228,1093778,1,56657,10,7095
1229,165439,1,10785,10,1485
1230,1438131,1,68801,10,7301
1231,1455530,1,66413,10,8663
1232,971718,1,52749,10,6536
1233,849978,1,43017,10,5701
1234,408062,1,21989,10,2935
1235,2310890,1,100157,10,13449
1236,394643,1,21673,10,2601
1237,1119150,1,49989,10,6799
1238,1069417,1,58477,10,7937
1239,589722,1,34005,10,4306
1240,1484750,1,69041,10,9253
1241,1267818,1,60897,10,8385
1242,642626,1,35405,10,4229
1243,764306,1,34721,10,4284
1244,980238,1,43977,10,6023
1245,1060810,1,53305,10,6891
1246,963582,1,47985,10,6703
1247,1374674,1,63965,10,8743
1248,1403734,1,64273,10,8532
1249,771095,1,37525,10,4840
1250,1005926,1,49049,10,6751
1251,647594,1,31625,10,3780
1252,1475959,1,69345,10,9347
1253,2028662,1,80057,10,12910
1254,1080510,1,58965,10,7028
1255,1091402,1,58049,10,6829
1256,935982,1,50349,10,6952
1257,978202,1,49969,10,6633
1258,683078,1,32981,10,4053
1259,485002,1,26593,10,3407
1260,512393,1,28121,10,3393
1261,696374,1,39389,10,5411
1262,355466,1,20969,10,2550
1263,1094343,1,56469,10,7186
1264,836298,1,43977,10,5480
1265,780206,1,42773,10,5682
1266,1136862,1,51861,10,6577
1267,343438,1,20353,10,2385
1268,689394,1,38337,10,4852
1269,1046738,1,54089,10,7248
1270,1070854,1,50449,10,6483
1271,1220274,1,58473,10,7834